Compilación Eficiente De Esquemas De Análisis Sintáctico

Presentamos un compilador capaz de generar analizadores sintácticos a partir de esquemas de análisis sintáctico. Dichos esquemas son representaciones de los analizadores en forma de sistemas deductivos, que abstraen los detalles de implementación y permiten definir y comparar fácilmente diferentes algoritmos. Nuestro compilador es capaz de generar, a partir de uno de estos esquemas, el código de una implementación del algoritmo correspondiente, incluyendo el código necesario para gestionar la indexación de resultados intermedios para que dicha implementación sea eficiente. El sistema acepta todo tipo de esquemas de analizadores para gramáticas independientes del contexto, y se puede generalizar fácilmente a otros tipos de formalismos gramaticales.